

function makeTopWindow(window) {
	if(window != top.window) {
		top.window.location = window.location;
	}
}

function detectSessionChange() {
	if(userID != getCookie("netx.user-id")) {
		top.history.go();
	}
}

